1. Advanced Microsystems for Automotive Applications 2017 : Smart Systems Transforming the Automobile
پدیدآورنده : Carolin Zachaus, Beate Muller, Gereon Meyer
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automotive computers -- Congresses
رده :
TL
272
.
53
.
A578
2018
2. Advanced microsystems for automotive applications 2007
پدیدآورنده : Jurgen Valldorf, Wolfgang Gessner )eds.(.
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Automotive computers -- Congresse,Programmable controllers -- Congresses,Advanced microsystems,Microsystems,Automotive applications
رده :
TL
.
A38
272
.
53
2008
3. Advanced microsystems for automotive applications 2004
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automobiles -- Electronic equipment -- Congresses,Programmable controllers -- Congresses,Automotive computers -- Congresses
رده :
TL272
.
5
.
A383
2004
4. Advanced microsystems for automotive applications 2004
پدیدآورنده : Jürgen Valldorf, Wolfgang Gessner (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automotive computers -- Congresses.,Automotive computers.,Programmable controllers -- Congresses.
رده :
TL272
.
53
J874
2004
5. Advanced microsystems for automotive applications 201 smart systems for electric, safe and networked mobility
پدیدآورنده : Meyer, Gereon., Gereon Meyer, Jeurgen Valldorf
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automobiles, Electronic equipment, Congresses,، Programmable controllers, Congresses,، Microprocessors, Congresses,، Automotive computers, Congresses
رده :
TL
272
.
53
.
M49
2011eb
6. Complex, intelligent, and software intensive systems :
پدیدآورنده : editors, Leonard Barolli, Farookh Khadeer Hussain and Makoto Ikeda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q334
7. Embedded system design :
پدیدآورنده : edited by Achim Rettberg... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automotive computers, Congresses.,Embedded computer systems, Congresses.
8. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
9. From specification to embedded systems application
پدیدآورنده : edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automotive computers, Congresses.,Embedded computer systems, Congresses.
10. HCI in mobility, transport, and automotive systems :
پدیدآورنده : Heidi Krömker (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automated vehicles, Congresses.,Human-computer interaction, Congresses.,Intelligent control systems, Congresses.,Automated vehicles.,Human-computer interaction.,Intelligent control systems.
رده :
TL152
.
8
11. Intelligent decision technologies 2019 :
پدیدآورنده : editors, Ireneusz Czarnowski, Robert J. Howlett, Lakhmi C. Jain.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Decision making-- Data processing, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Decision making-- Data processing.
رده :
Q342
12. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
13. Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers
پدیدآورنده : Broy, M
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automobiles -- Software -- Design -- Congresses,، Automobiles -- Electronic equipment -- Congresses,، Automotive computers -- Congresses
رده :
TJ
211
.
47
.
M84
2008
14. Proceedings of International Conference on Computational Intelligence and Data Engineering :
پدیدآورنده : editors Nabendu Chaki [and 3 others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Database management, Congresses.,Computational intelligence.,COMPUTERS-- General.,Database management.
رده :
Q342
15. Proceedings of the International Conference on ISMAC in Computational Vision and Bio-Engineering 2018 (ISMAC-CVB) /
پدیدآورنده : Durai Pandian, Xavier Fernando, Zubari Baig, Fuqian Shi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioengineering, Congresses.,Computer vision, Congresses.,Bioengineering.,Computer vision.
رده :
TA1634
16. Proceedings of the 15th IFAC Word Congress : International Federation of Automatic Control : Barcelona, Spain 21-26 July 2002
پدیدآورنده : edited by E. F. Camacho, L. Basanez, J. A. de la Puente
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic control
رده :
TJ
212
.
2
.
I58
2002
17. Proceedings of the 15th IFAC World Congress, International Federation of Automatic Control
پدیدآورنده : edited by E.F. Camacho, L. Basanez, J.A. de la Puente
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Automatic control- Congresses
رده :
TJ
,
212
.
2
,.
I58
,
2002
18. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
